.nr PO 0.5i
.nr LL 7.0i
.LP
.nf
Script started on Thu Nov 14 06:16:18 1985
% tokio
C-Prolog version 1.5

A tokio interpreter 	Ver 7.0 8/26/85
		S.Kono and M.Fujita  Tokyo Univ.

| ?- [exec].
exec consulted 6448 bytes 7.95 sec.

yes
| ?- trtime.

t1:
yes
| ?- test1.

t0:[1,2,3].
|: [1,2,3].
[1,1,_432]
t1:[2,2,_365]
t2:[3,3,_2090]
t3:[_4059,_4060,_4064]
t4:[_6274,_6275,1.375]
yes
Figure (9) Execution Example for figure (8)
.bp
| ?- test2.

t0:[1,2,3,4,5,6,7,8,9].
|: [1,2,3,4,5,6,7,8,9].
[1,1,_432]
t1:[2,2,_365]
t2:[3,3,_2661]
t3:[4,4,_5303]
t4:[5,5,1.375]
t5:[6,6,2.75]
t6:[7,7,4.125]
t7:[8,8,5.5]
t8:[9,9,6.875]
t9:[_24713,_24714,8.25]
t10:[_27990,_27991,9.625]
yes

Figure (13) Execution Example of figure (12)
.bp
